Wolpertinger: A Fixed-Domain Reasoner
نویسندگان
چکیده
The Web Ontology Language OWL [5] comes with comprehensive modeling tool support. This sometimes leads to situations where OWL is the modeling paradigm chosen over other formalisms, even if the application scenario does not match the typical usage of this language. For example, problems of a constraint-satisfaction nature do not go well with OWL’s standard semantics. Consider a toy configuration problem: Five people want to go home after a party in one car having five seats. The situation is conveniently (and seemingly adequately) modeled using OWL (for brevity, we use DL-style notation):
منابع مشابه
A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes
Hybrid EL-TBoxes combine general concept inclusions (GCIs), which are interpreted with descriptive semantics, with cyclic concept definitions, which are interpreted with greatest fixpoint (gfp) semantics. We introduce a proof-theoretic approach that yields a polynomial-time decision procedure for subsumption in EL w.r.t. hybrid TBoxes, and present preliminary experimental results regarding the ...
متن کاملFixed-Domain Reasoning for Description Logics
Description logics (DLs) are currently a de facto standard in logic-based knowledge representation thanks to the last two decades of research and their use as the underpinning of standardized and widely adopted web ontology language (OWL), which also comes with the advantage of existing user-friendly modeling tools. It has, however, been observed that OWL and description logics are utilized by ...
متن کاملHybrid Diagnostic System: Beacon-based Exception Analysis for Multimissions - Livingstone Integration
This paper describes the initial integration of a hybrid reasoning system utilizing a continuous domain feature-based detector, Beacon-based Exceptions Analysis for Multimissions (BEAM), and a discrete domain model-based reasoner, Livingstone. BEAM was integrated into Livingstone to provide independent source of evidence in addition to those of the Livingstone's standard monitors. The additiona...
متن کاملCases, Models, and Rules for Fault Management: An Evaluation
This paper describes an experimental evaluation of the diagnostic concepts implemented in a prototypical case-based reasoner (CBR), called Epaion. The reasoner operates in the domain of in-flight fault diagnosis and prognosis of aviation subsystems, particularly jet engines. The evaluation used actual aircraft accidents and incident cases, which were simulated to assess the effectiveness of Epa...
متن کاملComputational Mathetics: Towards a Science of Learning Systems Design
reasoners may be made more 'concrete' by instantiating them. For example, Rainy∅Umbrella, Rainy => Umbrella Planet(x)∅Orbits(x,sun), Planet(neptune) => Orbits(neptune,sun) are both instantiations of the modus ponens reasoner. A person might believe the proposition Rainy∅Umbrella, i.e. if it is rainy take an umbrella, but only if she actually behaved as the rule implies in relevant situations mi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2017